A factorial snowpack model (FSM 1.0)

Model-Robust Factorial Designs

Evolution of Test Programs Exploiting a FSM Processor Model

Microprocessor testing is becoming a challenging task, due to the increasing complexity of modern architectures. Nowadays, most architectures are tackled with a combination of scan chains and Software-Based Self-Test (SBST) methodologies. Among SBST techniques, evolutionary feedback-based ones prove effective in microprocessor testing: their main disadvantage, however, is the considerable time ...

Infinite Factorial Dynamical Model

We propose the infinite factorial dynamic model (iFDM), a general Bayesian nonparametric model for source separation. Our model builds on the Markov Indian buffet process to consider a potentially unbounded number of hidden Markov chains (sources) that evolve independently according to some dynamics, in which the state space can be either discrete or continuous. For posterior inference, we deve...

Data assimilation of multilayer snowpack on Argentière glacier, using X-band SAR data, DMRT and a detailed snowpack model

This study discuss the potential of using remote sensing data from Synthetic Aperture Radar (SAR), couple with Dense Media Radiative Transfer (DMRT) model, to constrain the snowpack's optical grain size and density calculated by the detailed snowpack model Crocus. A snowpack Electromagnetic Backscattering Model (EBM) based on DMRT compatible with X-band and Ku-band frequencies is developed from...

FSM Modeling of Synchronous VHDL Design for Symbolic Model Checking

* This work was supported by Chinese National Key Project funds under the grants 96-738-01-01-07. Abstract: In this paper, we defined a new FSM model that based on the synchronous behavior and symbolic representation technique. The algorithm to elaborate the model from the VHDL description of synchronous circuits is presented. By eliminating the unnesessary transition function, our model has mu...